云计算视角下可验证计算的分析研究

云计算能否在未来的各个领域中被广泛运用,决定因素在于其可信度。可验证计算在检测云计算结果的可信度方面具有其独特优势。利用可验证计算协议可验证云服务器端所返回的数据是否正确,它成为实现云计算可信度的重要保障。文中在阐述可验证计算基本内容和相关设计原则的基础上,分析了可验证计算协议的一般流程、设计原则及计算模型,并结合基于交互系统的可验证计算协议分析,探讨在云计算视角下可验证计算的研究展望。     

创新回报不确定性下的新技术采纳研究

考虑到企业在采纳新技术过程中的技术溢出以及新技术创新回报的不确定性,建立生产有差异化产品企业的两阶段博弈模型,以企业采纳时间为分界点分别得出在古诺竞争和伯特兰德竞争两种市场下各个阶段的期望均衡利润,进而对技术创新回报不确定性、企业的最优采纳时间、期望社会福利最大时的企业最优社会采纳时间进行了分析,结果表明,随着创新回报不确定性的增加,先采纳新技术企业的期望利润增加更多;企业间产品差异较大时,领先企业在古诺竞争下的最优采纳时间要比伯特兰德竞争下的最优采纳时间要早;企业间产品差异较小时,领先企业在古诺竞争下的最优采纳时间要晚于伯特兰德竞争下的最优采纳时间.跟随企业在古诺竞争下的最优采纳时间始终早于伯特兰德竞争下的最优采纳时间.     

基于LQG控制的整车8-DOF系统振动分析

建立了整车8-DOF系统动力学模型,考虑了主动悬架控制,并增设了主动座椅控制,设计了车辆主动悬架系统的LQG控制器。基于Matlab仿真平台建立了整车8-DOF系统动力学仿真模型,对所得最优控制策略下的动态响应进行了仿真验证。仿真结果表明:为了改善人椅系统质心及车身质心的跳振性能需要在一定程度上弱化各轮轮胎动位移性能。从控制效能上来看,该最优控制器能够满足各行驶状态下对悬架性能的要求,改善了车辆的行驶平顺性。     

氯乙烯精馏过程模拟优化与节能降耗的研究

针对某聚氯乙烯厂精馏过程中氯乙烯产品纯度低、能耗高的问题,利用化工流程模拟软件Aspen Plus对氯乙烯精馏系统中的T-203塔进行模拟优化,选择适合氯乙烯体系的NRTL模型进行计算,确定理论板数为28块。根据灵敏度分析和正交试验得到最佳操作参数为:回流比为0.8,进料位置为第2块理论板,侧线采出位置为第18块理论板。产品中氯乙烯质量分数达到99.999%,低沸物质量分数小于1×10-6,高沸物质量分数小于5×10-6。同时对精馏系统提出两项节能降耗技术,其中循环水改造技术预计为企业带来经济效益1034.85万元/a,高效导向筛板技术可以有效提高分离效率和生产能力。     

Ni~(26+)离子态分辨光复合过程的R矩阵理论研究

利用基于相对论R矩阵理论的DARC程序系统计算了Ni 25+离子基态1s22s(2S1/2)和激发态1s22p(2P1/2,2P3/2)的光电离截面,并通过细致平衡原理获得了统一的光复合过程(即辐射复合和双电子复合)态分辨的截面,计算结果给出了辐射复合与双电子复合过程间的干涉效应.为了标识和分析KLL共振能区所有的共振峰,基于相对论组态相互作用理论(RCI)的FAC程序被用来计算共振峰的能量、强度及其相关的双激发态的辐射、俄歇跃迁几率以及共振宽度等.利用统一的光复合截面进一步得到了KLL双电子复合过程的伴线强度,并与孤立共振近似下FAC的计算结果以及以前的理论和实验结果进行了比较,对存在的一致性和偏差进行了分析和讨论.     

2种煤液化残渣氧化萃余物中杂原子化合物的鉴定

在40℃恒温水浴下用次氯酸钠对2种煤液化残渣进行氧化,将反应所得混合物用滤膜过滤,滤出液依次用石油醚、二硫化碳、四氯化碳和乙酸乙酯萃取,得到的萃取物用气相色谱/质谱(GC/MS)分析.根据分析结果系统地考察了2种煤液化残渣中所含杂原子化合物的分布,为从煤液化残渣中选择性地脱除这些杂原子化合物及提取高附加值化学品提供了一条路径.     

不同基肥处理对赣南稀土尾矿种植皇竹草的农艺性状及产量的影响

试验研究在稀土尾矿上不施基肥(对照组),施用粪污处理后的牛场沼液(B)、发酵牛粪(C)、牛粪养殖的蚯蚓粪(E)、发酵牛粪+牛场沼液(C+B)、牛粪养殖的蚯蚓粪+牛场沼液(E+B)5种基肥处理后,对皇竹草农艺性状及产量的影响.结果表明:B处理未能提升皇竹草存活率、农艺性状和产量,显著低于其余4个处理组,C、E处理与C+B、E+B处理之间的存活率、农艺性状和产量差异不显著.C、E、C+B、E+B处理均能有效提升皇竹草的株高、分蘖数、茎粗、单株高重和产量,株高、单株重和产量上,以E和E+B处理效果最好,分蘖数、茎粗在4个处理组间差异不明显.综上所述,在赣南稀土尾矿上种植皇竹草,施用蚯蚓粪作为基肥对皇竹草农艺性状及产量的提升效果最好.